Maximizing Test Coverage for Security Threats Using Optimal Test Data Generation

نویسندگان

چکیده

As time continues to advance, the need for robust security threat mitigation has become increasingly vital in software. It is a constant struggle maximize test coverage through optimal data generation. We conducted explanatory research of requirements as modeled structured misuse case description (SMCD). The acceptance designed threats. Mal activity from SMCD upon which constraints are specified object constraint language (OCL) order minimize human dependency and improve consistency design. study compared two state-of-the-art maximization approaches was evident results that MC/DC generated data, i.e., n + 1 conditions comparison decision approach, 2n Thus, resulted significantly lower number cases yet maximized We, therefore, conclude maximizes at design level mitigation.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Coverage Based Test-Data Generation using Model Checkers

We present a method for automatically generating test cases that satisfy certain structural coverage criteria. We show how a model checker can be used to automatically generate complete test sequences that provide a predefined coverage of any software development artifact, given a finite state model of the artifact. Our goal is to help reduce the high cost of developing test cases for safety-cr...

متن کامل

Coverage-Directed Test Generation Using Symbolic Techniques

In this paper, we present a verification methodology that integrates formal verification techniques with verification by simulation, thereby providing means for generating simulation test suites that ensure coverage. We derive the test suites by means of BDD-based symbolic techniques for describing and traversing the implementation state space. In our approach, we provide a high-level of contro...

متن کامل

Test Scenarios Generation Using Path Coverage

Testing is one of the very important component of software development process. Properly generated test sequences may not only locate the defects in software, but also help in reducing the high cost associated with software testing. It is often desired that test sequences should be automatically generated to achieve required test coverage. Automatic test sequence generation is a major problem i...

متن کامل

Test case generation for transition-pair coverage using Scatter Search

A challenging part of Software Testing entails the generation of test cases, whose costs can be reduced by means of the use of techniques for automating this task. On the other hand, the nature of Software Engineering problems is ideal for the application of metaheuristic techniques. In this paper we present an approach based on the metaheuristic technique Scatter Search for the automatic test ...

متن کامل

Optimal test sequence generation using firefly algorithm

Software testing is an important but complex part of software development life cycle. The optimization of the software testing process is a major challenge, and the generation of the independent test paths remains unsatisfactory. In this paper, we present an approach based on metaheuristic firefly algorithm to generate optimal test paths. In order to optimize the test case paths, we use a modif...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Applied sciences

سال: 2023

ISSN: ['2076-3417']

DOI: https://doi.org/10.3390/app13148252